Learning a Static Analyzer from Data

To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under analysis. While important, manually addressing these challenges is difficult for at least two reasons: (i) the effects on the overall analysis can be non-trivial, and (ii) as the size and complexity of modern libraries increase, so is the number of cases the analysis must handle. In this paper we present a new, automated approach for creating static analyzers: instead of manually providing the various inference rules of the analyzer, the key idea is to learn these rules from a dataset of programs. Our method consists of two ingredients: (i) a synthesis algorithm capable of learning a candidate analyzer from a given dataset, and (ii) a counter-example guided learning procedure which generates new programs beyond those in the initial dataset, critical for discovering corner cases and ensuring the learned analysis generalizes to unseen programs. We implemented and instantiated our approach to the task of learning JavaScript static analysis rules for a subset of points-to analysis and for allocation sites analysis. These are challenging yet important problems that have received significant research attention. We show that our approach is effective: our system automatically discovered practical and useful inference rules for many cases that are tricky to manually identify and are missed by state-of-the-art, manually tuned analyzers

Evaluation of Tropaeolin 000-1 as a Colorimetric Reagent for Assay of Duloxetine and Escitalopram in Solid Dosage Form

Purpose: To explore the application of tropaeolin 000-1 reagent for the rapid, precise and accurate determination of duloxetine hydrochloride (DX) and escitalopram maleate (ECT).Methods: Determination of DX and ECT was based on the formation of complexes between the dye, DX and ECT in 0.1 M HCl. The resulting chromogen showed a maximum wavelength of absorption at 502 and 503 nm for DX and ECT, respectively. This method was validated for analytical parameters such as linearity, precision, accuracy, robustness, and ruggedness according to the guidelines of International Conference on Harmonization (ICH) and United States Pharmacopoeia (USP).Results: The absorbance of the each chromogen formed with DX and ECT was linear over the range of 4 - 30 and 2.5 - 27.5 μg mL-1 for DX and ECT, with 0.9968 and 0.9979 as the regression coefficient, respectively. The limits of detection (LOD) were 0.0045 and 0.0015 μg mL-1 for DX and ECT, respectively, with the limits of quantification (LOQ) at 0.5 and 0.08 μg mL-1. The recovery (accuracy) of the methods resulted in low RSD values of 0.856 – 0.983 % for DX and 0.765 – 0.987 % for ECT.Conclusion: The developed method shows a high degree of accuracy and precision for the determination of DX and ECT. Thus, tropaeolin 000-1 reagent is versatile for determining the contents of DX and ECT in their formulations.Keywords: Duloxetine, Escitalopram, Tropaeolin 000-1, Extractive spectrophotometry, Validatio

A rapid, efficient, and facile solution for dental hypersensitivity: The tannin–iron complex

Dental hypersensitivity due to exposure of dentinal tubules under the enamel layer to saliva is a very popular and highly elusive technology priority in dentistry. Blocking water flow within exposed dentinal tubules is a key principle for curing dental hypersensitivity. Some salts used in "at home" solutions remineralize the tubules inside by concentrating saliva ingredients. An "in-office" option of applying dense resin sealants on the tubule entrance has only localized effects on well-defined sore spots. We report a self-assembled film that was formed by facile, rapid (4 min), and efficient (approximately 0.5 g/L concentration) dip-coating of teeth in an aqueous solution containing a tannic acid-iron(III) complex. It quickly and effectively occluded the dentinal tubules of human teeth. It withstood intense tooth brushing and induced hydroxyapatite remineralisation within the dentinal tubules. This strategy holds great promise for future applications as an effective and user-friendly desensitizer for managing dental hypersensitivity.111310Ysciescopu

Growth of quantum dot coated core-shell anisotropic nanowires for improved thermal and electronic transport

Anisotropic nanowires are promising candidates for electronic thermal management due to their unique electrical and thermal properties.However, eco-friendly solution-processed nanomaterials with an elaborate morphology and microstructure for modulating thermal andcharge transfer are still a considerable challenge. Herein, we present a simple but effective approach for synthesizing pseudo core-shell nano-wires through quantum dot (QD)-like nanostructure coating (p-NW@QD) to generate exceptional electron-phonon transport properties.With the assistance of diphenyl ether as a coordination solvent, high crystallinity lead sulfide NWs can be fabricated with a large aspect ratiotogether with uniform QD coating. Thisp-NW@QD exhibits high electronic mobility (30.65 cm2/Vs) as well as a diameter independent lowthermal conductivity (1.5361 W/m K). Direct charge/heat carrier flow measurements and computational simulations demonstrate that theunusual electrical and thermal transport phenomenon is strongly dependent on the fast charge transport through the QD shell, and a slowphonon migration across the Umklapp process dominated NW cores. These findings indicate a significant step toward colloidal synthesisnanostructures for future high-performance nanoelectronics and thermal energy devices

Engineered mussel bioglue as a functional osteoinductive binder for grafting of bone substitute particles to accelerate in vivo bone regeneration

Xenograft bone substitutes, such as deproteinized bovine bone mineral (DBBM), have been widely employed as osteoconductive structural materials for bone tissue engineering. However, the loss of xenograft bone substitute particles in defects has been a major limitation, along with a lack of osteoinductive function. Mussel adhesive protein (MAP), a remarkable and powerful adhesive biomaterial in nature, can attach to various substrates, even in wet environments. Its adhesive and water-resistant abilities are considered to be mainly derived from the reduced catechol form, 3,4-dihydroxyphenylalanine (DOPA), of its tyrosine residues. Here, we evaluated the use of DOPA-containing MAP as a functional binder biomaterial to effectively retain DBBM particles at the defect site during in vivo bone regeneration. We observed that DOPA-containing MAP was able to bind DBBM particles easily to make an aggregate, and grafted DBBM particles were not lost in a defect in the rat calvaria during the healing period. Importantly, grafting of a DOPA-containing MAP-bound DBBM aggregate resulted in remarkably accelerated in vivo bone regeneration and even bone remodeling. Interestingly, we found that the DOPA residues in the modified MAP had an osteoinductive ability based on clear observation of the in vivo maturation of new bones with a similar bone density to the normal bone and of the in vitro osteogenic differentiation of osteoblast cells. Collectively, DOPA-containing MAP is a promising functional binder biomaterial for xenograft bone substitute-assisted bone regeneration with enhanced osteoconductivity and acquired osteoinductivity. This mussel glue could also be successfully utilized as a potential biomaterial for general bone tissue engineering.open1145sciescopu

Face-selective electrostatic control of hydrothermal zinc oxide nanowire synthesis

Rational control over the morphology and the functional properties of inorganic nanostructures has been a long-standing goal in the development of bottom-up device fabrication processes. We report that the geometry of hydrothermally grown zinc oxide nanowires can be tuned from platelets to needles, covering more than three orders of magnitude in aspect ratio (~0.1–100). We introduce a classical thermodynamics-based model to explain the underlying growth inhibition mechanism by means of the competitive and face-selective electrostatic adsorption of non-zinc complex ions at alkaline conditions. The performance of these nanowires rivals that of vapour-phase-grown nanostructures and their low-temperature synthesis (<60 °C) is favourable to the integration and in situ fabrication of complex and polymer-supported devices. We illustrate this capability by fabricating an all-inorganic light-emitting diode in a polymeric microfluidic manifold. Our findings indicate that electrostatic interactions in aqueous crystal growth may be systematically manipulated to synthesize nanostructures and devices with enhanced structural control.National Science Foundation (U.S.) (MIT Center for Bits and Atoms (NSF CCR0122419))Massachusetts Institute of Technology. Media LaboratoryKorea Foundation for Advanced StudiesSamsung Electronics Co. (research internship)Harvard University. Society of FellowsWallace H. Coulter Foundation (Early Career Award)Brain & Behavior Research Foundation (Young Investigator Award)National Science Foundation (U.S.)National Institutes of Health (U.S.) (Director’s New Innovator Award

Effects of Carbon Dioxide Aerosols on the Viability of Escherichia coli during Biofilm Dispersal

A periodic jet of carbon dioxide (CO2) aerosols is a very quick and effective mechanical technique to remove biofilms from various substrate surfaces. However, the impact of the aerosols on the viability of bacteria during treatment has never been evaluated. In this study, the effects of high-speed CO2 aerosols, a mixture of solid and gaseous CO2, on bacteria viability was studied. It was found that when CO2 aerosols were used to disperse biofilms of Escherichia coli, they led to a significant loss of viability, with approximately 50% of the dispersed bacteria killed in the process. By comparison, 75.6% of the biofilm-associated bacteria were viable when gently dispersed using Proteinase K and DNase I. Indirect proof that the aerosols are damaging the bacteria was found using a recombinant E. coli expressing the cyan fluorescent protein, as nearly half of the fluorescence was found in the supernatant after CO2 aerosol treatment, while the rest was associated with the bacterial pellet. In comparison, the supernatant fluorescence was only 9% when the enzymes were used to disperse the biofilm. As such, these CO2 aerosols not only remove biofilm-associated bacteria effectively but also significantly impact their viability by disrupting membrane integrity.open

Reversed-phase high-performance liquid chromatography–fluorescence detection for the analysis of glutathione and its precursor γ-glutamyl cysteine in wines and model wines supplemented with oenological inactive dry yeast preparations

El pdf del artículo es la versión pre-print.A reversed-phase high-performance liquid chromatography-fluorescence detection methodology involving a pre-column derivatization procedure using 2,3-naphtalenedialdehyde in the presence of 5 and 0. 5 mM of dithiothreitol to determine total and reduced glutathione (GSH) and γ-glutamyl-cysteine (γ-glu-cys) in musts and wines has been set up and validated. The proposed method showed good linearity (R 2 >99% for reduced and total GSH, and R 2 >98% for γ-glu-cys) in synthetic wines, over a wide range of concentration (0-10 mg L -1). The limits of detection for reduced GSH in synthetic and real wines were almost the same (0. 13 and 0. 15 mg L -1, respectively) and slightly higher for γ-glu-cys (0. 24 mg L -1). The application of the method allowed knowing, for the first time, the amount of total and reduced GSH and γ-glu-cys released into synthetic wines by oenological preparations of commercial inactive dry yeast (IDY). In addition, the evolution of these three compounds during the winemaking and shelf life (0-9 months) of an industrially manufactured rosé wine supplemented with a GSH-enriched IDY showed that although GSH is effectively released from IDY, it is rapidly oxidized during alcoholic fermentation, contributing to the higher total GSH content determined in wines supplemented with GSH-enriched IDYs compared to control wines. © 2011 Springer Science+Business Media, LLC.IAO and JJRB acknowledge CAM and CSIC for their respective research grants. This work has been founded by PET2007-0134 project.Peer Reviewe